301. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
302. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: (طهران)
موضوع : Logic, Symbolic and mathematical , Computable functions
رده :
QA
9
.
59
.
K44
1996
303. Mathematical logic and computability
پدیدآورنده : / H. Jerome Keisler
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Logic,symbolic and mathematical
رده :
511
.
3
K27m
304. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
305. Mathematical logic and formalized theories: a survey of basic concepts and results
پدیدآورنده : / Robert Rogers
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
R722
306. Mathematical logic and formalized theories; a survey of basic concepts and results
پدیدآورنده : Rogers, Robert
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R74
307. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده : Ed. by Yehoshua Bar-Hillel
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
308. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, symbolic and mathematical-- Congresses
رده :
QA
9
.
I54
1968
309. Mathematical logic and model theory : a brief introduction
پدیدآورنده : Prestel, Alexander, 1491-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P743M3
310. Mathematical logic and model theory a brief introduction
پدیدآورنده : Prestel, A.)Alexander(,1491-, Alexander Prestel, Charles N. Delzell
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
169
.
M3
P7
2011
311. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38
312. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
313. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
314. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
315. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
316. Mathematical logic and the foundations of mathematics; an introductory survey
پدیدآورنده : Kneebone, G. T.
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
317. Mathematical logic and the foundations of mathematics
پدیدآورنده : / An introductory survey, G. T. Kneebone
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
510
.
01
Kn-M
318. Mathematical logic and the foundations of mathematics
پدیدآورنده : / G.T. Kneebone
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
K673
2001
319. Mathematical logic and the foundations of mathematics
پدیدآورنده : / G.T. Kneebone
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
K673
2001
320. Mathematical logic and the foundations of mathematics
پدیدآورنده : / G.T. Kneebone
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
K673
2001
